Merge branch '1140-gtk_printer_get_hard_margins_for_paper_size-is-not-external' into...
authorEmmanuele Bassi <ebassi@gmail.com>
Wed, 4 Jul 2018 16:55:34 +0000 (16:55 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Wed, 4 Jul 2018 16:55:34 +0000 (16:55 +0000)
commit9924a92e70c619c42a83e692bcd4681849515b0f
tree1f88dcb818e421b391e17ebed0b725fa74fa4630
parent9fb3b842536a428731c63545bfd0499ac3959d42
parent6c8988e445dd1c42a49245d216faf083b206afc0
Merge branch '1140-gtk_printer_get_hard_margins_for_paper_size-is-not-external' into 'master'

Resolve "gtk_printer_get_hard_margins_for_paper_size() is not external"

Closes #1140

See merge request GNOME/gtk!229